扫一扫
关注中图网
官方微博
-
数学机械化卷IV/吴文俊全集
¥101.1(7.9折)定价:¥128.0本卷收录了吴文俊的《几何定理机器证明的基本原理》一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题.第3章为几何定理证明的机
-
数学机械化II/吴文俊全集
¥124.8(7.9折)定价:¥158.0本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,
-
吴文俊全集 数学机械化卷1
¥135.4(7.2折)定价:¥188.0本卷收录了吴文俊的Mathematics Mechanization:Mechanical Geometry Theorem-Proving，Mechanical Geometry Problem-Solving and Polynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减
-
吴文俊全集 拓扑学卷 4
¥214.6(7.2折)定价:¥298.0本卷收录了吴文俊在拓扑学领域发表的56篇学术论文。这些论文包含了吴文俊在示性类、示嵌类、示浸类、示痕类、能计算性与I*-量度等方面做出的一系列重要工作，蕴含了他在拓扑学领域的诸多原始思想。该卷可作为数学或数学史研究人员、教师、研究生的参考文献，也可以作为拓扑学课程的参考书...
-
吴文俊全集:数学史卷:History of mathematics
¥101.1(7.9折)定价:¥128.0本书收录了《中国古代数学对世界文化的伟大贡献》《出入相补原理》《对中国传统数学的再认识》《我国古代测望之学重差理论评介——兼评数学史研究中某些方法问题》《在中外数学史讲习班开幕典礼上的讲话》《近年来中国数学史的研究》等文章...
-
吴文俊全集 拓扑学卷1
¥140.6(7.9折)定价:¥178.0本卷收录由法国HermannCie出版社出版的吴文俊的博士论文《Surles Classes Caractéristiquesdes Structures Fibrées Sphériques.》（论球丛结构的示性类）与Springer出版的《Rational HomotopyType-AConstructive Studyviathe Theory of the I*-measure》(有理同伦类)。吴的博士论文给出了两类具有特定群
-
吴文俊全集.数学机械化卷III
¥118.8(6折)定价:¥198.0本卷收录了吴文俊的《数学机械化》一书.本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述.本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动.全书分成三个部分：部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史.第二部分给出求解多项式方程组所依据的基本原理与特征列方法.作为这一方法的基础,本书还论述了构造性代数几何中的若干问题.第三部分给出了特征列方法在几何定
-
吴文俊全集 数学机械化 5
¥214.6(7.2折)定价:¥298.0本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果，还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用...
